More from this Author
Found 3 books by Saddek Bensalem (Editor)

Verification and Evaluation of Computer and Communication Systems
by Mohamed Faouzi Atig (Editor), Saddek Bensalem (Editor), Simon Bliudze (Editor), Bruno Monsuez (Editor)

From Programs to Systems - the Systems Perspective in Computing
by Saddek Bensalem (Editor), Yassine Lakhnech (Editor), Axel Legay (Editor)

Runtime Verification
by Axel Legay (Editor), Saddek Bensalem (Editor)